Boolean Game with Prioritized Norms
نویسنده
چکیده
In this paper we study boolean game with prioritized norms. Norms distinguish illegal strategies from legal strategies. Notions like legal strategy and legal Nash equilibrium are introduced. Our formal model is a combination of (weighted) boolean game and so called (prioritized) input/output logic. After formally presenting the model, we use examples to show that non-optimal Nash equilibrium can be avoided by making use of norms. We study various complexity issues related to legal strategy and legal Nash equilibrium.
منابع مشابه
Boolean Games with Norms
In the present paper we overlay boolean game with norms. Norms distinguish illegal strategies from legal strategies. Two types of legal strategy and legal Nash equilibrium are defined. These two equilibrium are viewed as solution concepts for law abiding agents in norm augmented boolean games. Our formal model is a combination of boolean games and so called input/output logic. We study various ...
متن کاملRandom Boolean Networks and Evolutionary Game Theory
Recent years have seen increased interest in the question of whether it is possible to provide an evolutionary game theoretic explanation for certain kinds of social norms. I sketch a proof of a general representation theorem for a large class of evolutionary game theoretic models played on a social network, in hope that this will contribute to a greater understanding of the long-term evolution...
متن کاملDependencies Between Players in Boolean Games
Boolean games are a logical setting for representing static games in a succinct way, taking advantage of the expressive power and succinctness of propositional logic. A Boolean game consists of a set of players, each of them controlling a set of propositional variables and having a specific goal expressed by a propositional formula, or more generally a specification of the player’s preference r...
متن کاملPrioritized Norms and Defaults in Formal Argumentation
Deontic logic sentences define what an agent ought to do when faced with a set of norms. These norms may come into conflict such that a priority ordering over them is necessary to resolve these conflicts. Dung’s seminal paper raised the — so far open — challenge of how to use formal argumentation to represent non monotonic logics, highlighting argumentation’s value in exchanging, communicating ...
متن کاملPrioritized Norms in Formal Argumentation
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reas...
متن کامل